181. Logical systems for industrial applications
پدیدآورنده : Jaczewski, Jerzy
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic circuits,، Logic design,، Sequential machine theory,، Digital control systems
رده :
TK
7868
.
L6
.
J3213
182. Logik, Automaten, Algorithmen
پدیدآورنده : Aizerman, M. A.)Mark Aronovich(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Sequential machine theory,، Switching theory,، Algorithms
رده :
QA
267
.
5
.
S4
.
A35
183. Machine sequentielles
پدیدآورنده : ZAHND,JACQUES
کتابخانه: (طهران)
موضوع : SEQUENTIAL MACHINE THEORY , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
267
.
5
.
S4
Z3
1980
184. Make a shield from wisdom :
پدیدآورنده : 20090507 0
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
185. Mathematial systems theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، System analysis-- Congresses,، Computer simulation,، Sequential machine theory-- Congresses,، Coding theory-- Congresses
رده :
QA
402
.
C56
186. Mathematical Foundations of Computer Science 1976 :
پدیدآورنده : edited by Antoni Mazurkiewicz.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer Science.,Computers.
رده :
QA267
.
3
E358
1976
187. Mathematical foundations of computer science
پدیدآورنده : edited by A. Blikle
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
267
.
5
.
S4
S89
1974
188. Mathematical foundations of computer science
پدیدآورنده : Edited by G. Goos and J. Hartmanis )and also( Edited by A. Blikle
کتابخانه: (طهران)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
267
.
5
.
S4
S89
1974
189. Mathematical foundations of computer science 1980 : Proceedings of the 9th Symposium held in Rydzyna, Poland, September 1-5, 1980
پدیدآورنده : edited by P. Dembinski
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
88
190. Mathematical foundations of computer science, 3rd Symposium at Jadwisin near warsaw, June 17-22, 1974
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal language,Congresses ، Programming )Elrctronic computers(
رده :
QA
267
.
5
.
S4
.
S89
1974
191. Mathematical foundations of computer science, 1975, 4th Symposium, Marianske, Lazne, September 1-5, 1975
پدیدآورنده : Edited by G. Goos and J. Hartmanis
کتابخانه: (طهران)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages
رده :
QA
267
.
5
.
S4
S89
1975
192. Mathematical systems theory ; proceedings of the international symposium Udine, Italy June 16-27 .1975
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، System analysis - congresses,، Sequential machine theory - congresses,، Coding theory congresses
رده :
QA
402
.
C58
1975
193. Micro- and nano-structured interpenetrating polymer networks
پدیدآورنده : edited by Prof. Dr. Sabu Thomas, Dr. Daniel Grande, Dr. Uro?s Cvelbar, Dr. K.V.S.N. Raju, Dr. Ramanuj Narayan, Dr. Selvin P. Thomas, Akhina H
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Polymer networks,Polymers, Industrial applications,TECHNOLOGY & ENGINEERING / Chemical & Biochemical., bisacsh
رده :
EBOOK
,
QD
.
P67
,
M53
382
2016
194. Operations Research '93 :
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
رده :
HD30
.
23
O647
1994
195. Optimizing data-to-learning-to-action :
پدیدآورنده : Steven Flinn.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Decision making-- Data processing.,Machine learning.,Management information systems.,BUSINESS & ECONOMICS-- Industrial Management.,BUSINESS & ECONOMICS-- Management Science.,BUSINESS & ECONOMICS-- Management.,BUSINESS & ECONOMICS-- Organizational Behavior.,Databases.,Decision making-- Data processing.,Machine learning.,Management information systems.,Software Engineering.
رده :
HD30
.
23
197. Papers presented at the Workshop on Feasible Mathematics :
پدیدآورنده : [Samuel R. Buss ... (eds.)].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Berechnungskomplexität.,Mathematik.
198. Papers presented at the Workshop on Feasible Mathematics :
پدیدآورنده : [Samuel R. Buss ... (eds.)].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Berechnungskomplexität.,Mathematik.
رده :
QA267
.
7
S268
1990
199. Pattern recognition and machine learning /
پدیدآورنده : Christopher M. Bishop
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Machine learning,Pattern perception,Pattern recognition systems
رده :
Q327
.
B52
2009
200. Petri Nets :
پدیدآورنده : edited by W. Brauer ... [et al.].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
